Classical logic - PDFSEARCH.IO - Document Search Engine

Classical logic
Results: 885

#	Item
271	Practical Reasoning with Proofs and Types Giuseppe Primiero FWO - Flemish Research Foundation Centre for Logic and Philosophy of Science, Ghent University IEG - Oxford University Add to Reading List Source URL: logica.ugent.be Language: English - Date: 2012-02-09 17:15:05 Mathematics Non-classical logic Epistemology Philosophy of mathematics Logic in computer science Intuitionism Natural deduction Realizability Modal logic Logic Mathematical logic Mathematical constructivism
272	αleanTAP : A Declarative Theorem Prover for First-Order Classical Logic Joseph P. Near?? , William E. Byrd, and Daniel P. Friedman Indiana University, Bloomington, IN 47405 {jnear,webyrd,dfried}@cs.indiana.edu Add to Reading List Source URL: webyrd.net Language: English - Date: 2013-12-02 09:16:06 Automated theorem proving Metalogic Formal methods First-order logic IP Well-formed formula Modal logic Theorem prover Propositional calculus Logic Mathematical logic Model theory
273	´e§ Peter Verde Inge De Bal¶ A new approach to classical relevance Add to Reading List Source URL: logica.ugent.be Language: English - Date: 2013-12-20 10:14:17 Non-classical logic Binary operations Relevance logic Material conditional Vacuous truth Paradoxes of material implication Entailment Relevance Negation Logic Propositional calculus Philosophical logic
274	Background Description Logic Systems U S C Add to Reading List Source URL: www.isi.edu Language: English - Date: 2009-06-12 15:14:36 Health Mononegavirales Philosophy of mathematics Philosophical logic Rabies Is-a Modal logic Description logic Classifier Logic Science Non-classical logic
275	Alleged assassins: realist and constructivist semantics for modal modification Bjørn Jespersen1? and Giuseppe Primiero2?? 1 Institute of Philosophy, Department of Logic, Add to Reading List Source URL: logica.ugent.be Language: English - Date: 2013-01-15 04:07:16 Model theory Non-classical logic Philosophical logic Modal logic Interpretation First-order logic Adjective Continuous function Function Logic Mathematical logic Mathematics
276	В издательстве «Физматлит» в 2004 г Add to Reading List Source URL: www.raai.org Language: English - Date: 2004-01-22 06:29:02 Non-classical logic Logic programming Philosophical logic Default logic Autoepistemic logic First-order logic Prolog Stable model semantics Non-monotonic logic Logic Mathematical logic Reasoning
277	The Role of Advanced Signal Detection Techniques in the Development of High-resolution, Accurate Decision Support Systems Presented by Add to Reading List Source URL: www.ofcm.gov Language: English - Date: 2001-11-26 16:52:11 Science Logic in computer science Fuzzy logic Non-classical logic Logic programming MM5 Neuro-fuzzy Type-2 fuzzy sets and systems Artificial intelligence Logic Mathematical logic
278	A Unifying Framework for Reasoning about Normative Conflicts Mathieu Beirlaen∗ Abstract First, two context-dependent desiderata are presented for Add to Reading List Source URL: logica.ugent.be Language: English - Date: 2011-11-23 04:38:36 Modal logic Philosophy of law Non-classical logic Philosophical logic Philosophy of language Deontic logic Paraconsistent logic Norm Rights Logic Mathematical logic Philosophy
279	Decidability of Parameterized Probabilistic Information Flow Danièle Beauquier1 , Marie Duflot1 and Yury Lifshits2 1 2 Add to Reading List Source URL: yury.name Language: English - Date: 2008-11-06 22:09:07 PP Ergodic theory Probabilistic bisimulation Probability and statistics Mathematical sciences Non-classical logic Markov models Applied mathematics Markov chain
280	Aftermath & Antimath (antiscience fiction) Add to Reading List Source URL: www.gallup.unm.edu Language: English - Date: 2012-04-19 18:33:09 Philosophical logic Non-classical logic Mathematical logic Axiology Modal logic Function Mathematical proof Type theory Mathematics Logic Knowledge

UPDATE